functional logic

См. также в других словарях:

• functional logic — funkcinis loginis grandynas statusas T sritis automatika atitikmenys: angl. functional logic vok. Funktionslogik, f rus. функциональная логическая схема, f pranc. logique fonctionnelle, f …   Automatikos terminų žodynas

• Functional logic (business logic) abstraction — Functional Abstraction (or Business Logic Abstraction) is the ability to separate business logic implementation code from the service protocol implementation which is calling it. This architectural abstraction allows the user to implement the… …   Wikipedia

• Functional verification — Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question Does this proposed design do what is… …   Wikipedia

• Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… …   Wikipedia

• Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

• Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… …   Wikipedia

• Functional decomposition — refers broadly to the process of resolving a functional relationship into its constituent parts in such a way that the original function can be reconstructed (i.e., recomposed) from those parts by function composition. In general, this process of …   Wikipedia

• Logic optimization — a part of logic synthesis, is the process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. Generally the circuit is constrained to minimum chip area meeting a prespecified delay.… …   Wikipedia

• Functional Grammar — (FG) ist eine linguistische Theorie, die Ende der 1970er Jahre von Simon Cornelis Dik in Amsterdam entwickelt wurde, ausdrücklich als Gegenmodell zum Standard Modell der Transformationsgrammatik von Noam Chomsky. Nach dem Tod Diks 1995 wurde die… …   Deutsch Wikipedia

• Functional reactive programming — ( FRP for short) is a programming paradigm for reactive programming using the building blocks of functional programming [cite web|author=Henrik Nilsson|title=Functional Reactive Programming Research|url=http://www.haskell.org/frp/|accessdate=2006 …   Wikipedia

• Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… …   Wikipedia